/*
 * Copyright (c) 2021
 * Gustavo Valiente gustavo.valiente@protonmail.com
 * Licensed under the Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) license
 */

#ifndef FR_STAGE_1_HARD_FORWARDS_RIVAL_CHECKPOINTS_H
#define FR_STAGE_1_HARD_FORWARDS_RIVAL_CHECKPOINTS_H

#include "fr_checkpoint.h"

namespace fr
{

constexpr inline checkpoint stage_1_hard_forwards_rival_checkpoints[] = {
    checkpoint(156, 436, 0),
    checkpoint(156, 433, 0),
    checkpoint(156, 431, 0),
    checkpoint(156, 428, 0),
    checkpoint(156, 425, 0),
    checkpoint(156, 422, 0),
    checkpoint(156, 419, 0),
    checkpoint(156, 416, 0),
    checkpoint(156, 413, 0),
    checkpoint(156, 410, 0),
    checkpoint(156, 407, 0),
    checkpoint(156, 404, 0),
    checkpoint(156, 401, 0),
    checkpoint(156, 398, 0),
    checkpoint(156, 395, 0),
    checkpoint(156, 392, 0),
    checkpoint(156, 389, 0.00195),
    checkpoint(156, 386, 0.00561),
    checkpoint(156, 382, 0.01098),
    checkpoint(156, 379, 0.01782),
    checkpoint(156, 376, 0.02612),
    checkpoint(156, 373, 0.03588),
    checkpoint(156, 370, 0.04687),
    checkpoint(156, 366, 0.05908),
    checkpoint(156, 363, 0.07250),
    checkpoint(156, 360, 0.08715),
    checkpoint(156, 357, 0.10278),
    checkpoint(156, 353, 0.11938),
    checkpoint(156, 350, 0.13696),
    checkpoint(156, 347, 0.15551),
    checkpoint(156, 344, 0.17504),
    checkpoint(156, 340, 0.19531),
    checkpoint(157, 337, 0.21630),
    checkpoint(157, 334, 0.23803),
    checkpoint(157, 330, 0.26049),
    checkpoint(157, 327, 0.28369),
    checkpoint(158, 324, 0.30761),
    checkpoint(158, 321, 0.33227),
    checkpoint(159, 317, 0.35742),
    checkpoint(159, 314, 0.38305),
    checkpoint(159, 311, 0.40917),
    checkpoint(160, 307, 0.43579),
    checkpoint(161, 304, 0.46289),
    checkpoint(161, 301, 0.48852),
    checkpoint(162, 298, 0.51269),
    checkpoint(163, 295, 0.53564),
    checkpoint(164, 291, 0.55737),
    checkpoint(164, 288, 0.57788),
    checkpoint(165, 285, 0.59716),
    checkpoint(166, 282, 0.61743),
    checkpoint(167, 279, 0.63842),
    checkpoint(168, 276, 0.66015),
    checkpoint(170, 273, 0.68261),
    checkpoint(171, 269, 0.70581),
    checkpoint(172, 266, 0.72973),
    checkpoint(173, 263, 0.75439),
    checkpoint(175, 260, 0.77954),
    checkpoint(176, 258, 0.80517),
    checkpoint(177, 255, 0.83129),
    checkpoint(179, 252, 0.85791),
    checkpoint(181, 249, 0.88500),
    checkpoint(182, 246, 0.91259),
    checkpoint(184, 243, 0.94067),
    checkpoint(186, 241, 0.96923),
    checkpoint(187, 238, 0.99829),
    checkpoint(189, 235, 1.02783),
    checkpoint(191, 233, 1.05566),
    checkpoint(193, 230, 1.08203),
    checkpoint(195, 228, 1.10693),
    checkpoint(197, 225, 1.13037),
    checkpoint(199, 223, 1.15258),
    checkpoint(202, 221, 1.17358),
    checkpoint(204, 218, 1.19335),
    checkpoint(206, 216, 1.21191),
    checkpoint(208, 214, 1.22949),
    checkpoint(211, 212, 1.24609),
    checkpoint(213, 210, 1.26171),
    checkpoint(216, 208, 1.27636),
    checkpoint(218, 206, 1.29003),
    checkpoint(221, 204, 1.30297),
    checkpoint(223, 202, 1.31518),
    checkpoint(226, 200, 1.32666),
    checkpoint(229, 198, 1.33740),
    checkpoint(231, 197, 1.34741),
    checkpoint(234, 195, 1.35668),
    checkpoint(237, 193, 1.36547),
    checkpoint(240, 192, 1.37377),
    checkpoint(242, 190, 1.38159),
    checkpoint(245, 189, 1.38891),
    checkpoint(248, 187, 1.39770),
    checkpoint(251, 186, 1.40795),
    checkpoint(254, 185, 1.41943),
    checkpoint(257, 183, 1.43212),
    checkpoint(260, 182, 1.44409),
    checkpoint(263, 181, 1.45532),
    checkpoint(266, 180, 1.46582),
    checkpoint(269, 179, 1.47558),
    checkpoint(272, 178, 1.48461),
    checkpoint(275, 177, 1.49316),
    checkpoint(278, 176, 1.50122),
    checkpoint(281, 175, 1.50878),
    checkpoint(284, 174, 1.51586),
    checkpoint(288, 173, 1.52246),
    checkpoint(291, 172, 1.52856),
    checkpoint(294, 171, 1.53613),
    checkpoint(297, 170, 1.54516),
    checkpoint(300, 170, 1.55566),
    checkpoint(304, 169, 1.56738),
    checkpoint(307, 168, 1.58032),
    checkpoint(310, 168, 1.59448),
    checkpoint(313, 167, 1.60791),
    checkpoint(317, 167, 1.62060),
    checkpoint(320, 166, 1.63256),
    checkpoint(323, 166, 1.64379),
    checkpoint(326, 165, 1.65429),
    checkpoint(330, 165, 1.66406),
    checkpoint(333, 164, 1.67309),
    checkpoint(336, 164, 1.68164),
    checkpoint(340, 164, 1.68969),
    checkpoint(343, 164, 1.69726),
    checkpoint(346, 163, 1.70434),
    checkpoint(350, 163, 1.71093),
    checkpoint(353, 163, 1.71704),
    checkpoint(356, 163, 1.72265),
    checkpoint(360, 163, 1.72778),
    checkpoint(363, 163, 1.73242),
    checkpoint(366, 163, 1.73681),
    checkpoint(370, 163, 1.73901),
    checkpoint(373, 163, 1.73901),
    checkpoint(377, 163, 1.73706),
    checkpoint(380, 163, 1.73339),
    checkpoint(383, 163, 1.72802),
    checkpoint(387, 163, 1.72119),
    checkpoint(390, 163, 1.71289),
    checkpoint(393, 164, 1.70312),
    checkpoint(397, 164, 1.69409),
    checkpoint(400, 164, 1.68554),
    checkpoint(404, 164, 1.67749),
    checkpoint(407, 164, 1.66992),
    checkpoint(410, 164, 1.66284),
    checkpoint(414, 165, 1.65625),
    checkpoint(417, 165, 1.65014),
    checkpoint(421, 165, 1.64453),
    checkpoint(424, 165, 1.63940),
    checkpoint(427, 166, 1.63476),
    checkpoint(431, 166, 1.63037),
    checkpoint(434, 166, 1.62622),
    checkpoint(438, 166, 1.62231),
    checkpoint(441, 166, 1.61865),
    checkpoint(444, 167, 1.61523),
    checkpoint(448, 167, 1.61206),
    checkpoint(451, 167, 1.60913),
    checkpoint(455, 167, 1.60644),
    checkpoint(458, 167, 1.60400),
    checkpoint(462, 168, 1.60180),
    checkpoint(465, 168, 1.59985),
    checkpoint(469, 168, 1.59814),
    checkpoint(472, 168, 1.59667),
    checkpoint(475, 168, 1.59545),
    checkpoint(479, 169, 1.59448),
    checkpoint(482, 169, 1.59375),
    checkpoint(486, 169, 1.59326),
    checkpoint(489, 169, 1.59301),
    checkpoint(493, 169, 1.59301),
    checkpoint(496, 169, 1.59301),
    checkpoint(500, 169, 1.59301),
    checkpoint(503, 170, 1.59301),
    checkpoint(506, 170, 1.59301),
    checkpoint(510, 170, 1.59301),
    checkpoint(513, 170, 1.59301),
    checkpoint(517, 170, 1.59301),
    checkpoint(520, 170, 1.59301),
    checkpoint(524, 170, 1.59301),
    checkpoint(527, 170, 1.59301),
    checkpoint(531, 171, 1.59301),
    checkpoint(534, 171, 1.59301),
    checkpoint(538, 171, 1.59301),
    checkpoint(541, 171, 1.59301),
    checkpoint(545, 171, 1.59301),
    checkpoint(548, 171, 1.59301),
    checkpoint(552, 171, 1.59301),
    checkpoint(555, 171, 1.59301),
    checkpoint(558, 171, 1.59301),
    checkpoint(562, 172, 1.59301),
    checkpoint(565, 172, 1.59301),
    checkpoint(569, 172, 1.59301),
    checkpoint(572, 172, 1.59301),
    checkpoint(576, 172, 1.59497),
    checkpoint(579, 172, 1.59863),
    checkpoint(583, 172, 1.60400),
    checkpoint(586, 172, 1.61083),
    checkpoint(590, 172, 1.61914),
    checkpoint(593, 172, 1.62890),
    checkpoint(597, 173, 1.63989),
    checkpoint(600, 173, 1.65209),
    checkpoint(604, 173, 1.66552),
    checkpoint(607, 173, 1.67822),
    checkpoint(611, 173, 1.69018),
    checkpoint(614, 173, 1.70141),
    checkpoint(617, 173, 1.71191),
    checkpoint(621, 174, 1.72167),
    checkpoint(624, 174, 1.73071),
    checkpoint(628, 174, 1.73925),
    checkpoint(631, 174, 1.74731),
    checkpoint(635, 175, 1.75488),
    checkpoint(638, 175, 1.76196),
    checkpoint(642, 175, 1.76855),
    checkpoint(645, 176, 1.77465),
    checkpoint(649, 176, 1.78222),
    checkpoint(652, 176, 1.79125),
    checkpoint(655, 177, 1.80175),
    checkpoint(659, 177, 1.81347),
    checkpoint(662, 178, 1.82641),
    checkpoint(666, 178, 1.84057),
    checkpoint(669, 179, 1.85595),
    checkpoint(672, 179, 1.87231),
    checkpoint(676, 180, 1.88964),
    checkpoint(679, 180, 1.90600),
    checkpoint(683, 181, 1.92138),
    checkpoint(686, 181, 1.93579),
    checkpoint(689, 182, 1.94946),
    checkpoint(693, 183, 1.96240),
    checkpoint(696, 183, 1.97460),
    checkpoint(699, 184, 1.98608),
    checkpoint(703, 185, 1.99682),
    checkpoint(706, 186, 2.00878),
    checkpoint(709, 187, 2.02197),
    checkpoint(713, 188, 2.03637),
    checkpoint(716, 189, 2.05200),
    checkpoint(719, 190, 2.06860),
    checkpoint(723, 191, 2.08618),
    checkpoint(726, 192, 2.10473),
    checkpoint(729, 193, 2.12426),
    checkpoint(732, 194, 2.14453),
    checkpoint(735, 195, 2.16552),
    checkpoint(739, 196, 2.18725),
    checkpoint(742, 197, 2.20971),
    checkpoint(745, 199, 2.23291),
    checkpoint(748, 200, 2.25488),
    checkpoint(751, 201, 2.27563),
    checkpoint(754, 203, 2.29516),
    checkpoint(757, 204, 2.31347),
    checkpoint(760, 206, 2.33081),
    checkpoint(763, 207, 2.34716),
    checkpoint(766, 209, 2.36254),
    checkpoint(769, 211, 2.37695),
    checkpoint(772, 212, 2.39062),
    checkpoint(775, 214, 2.40356),
    checkpoint(778, 216, 2.41772),
    checkpoint(780, 218, 2.43310),
    checkpoint(783, 219, 2.44946),
    checkpoint(786, 221, 2.46679),
    checkpoint(789, 223, 2.48510),
    checkpoint(791, 225, 2.50439),
    checkpoint(794, 227, 2.52465),
    checkpoint(797, 229, 2.54565),
    checkpoint(799, 231, 2.56542),
    checkpoint(802, 234, 2.58398),
    checkpoint(804, 236, 2.60156),
    checkpoint(807, 238, 2.61816),
    checkpoint(809, 240, 2.63378),
    checkpoint(811, 243, 2.64843),
    checkpoint(814, 245, 2.66210),
    checkpoint(816, 247, 2.67504),
    checkpoint(818, 250, 2.68725),
    checkpoint(820, 252, 2.70068),
    checkpoint(823, 255, 2.71533),
    checkpoint(825, 257, 2.73095),
    checkpoint(827, 260, 2.74755),
    checkpoint(829, 262, 2.76513),
    checkpoint(831, 265, 2.78369),
    checkpoint(833, 268, 2.80322),
    checkpoint(835, 270, 2.82348),
    checkpoint(837, 273, 2.84448),
    checkpoint(839, 276, 2.86621),
    checkpoint(840, 278, 2.88867),
    checkpoint(842, 281, 2.91186),
    checkpoint(844, 284, 2.93579),
    checkpoint(845, 287, 2.96044),
    checkpoint(847, 290, 2.98364),
    checkpoint(848, 293, 3.00561),
    checkpoint(850, 296, 3.02636),
    checkpoint(851, 299, 3.04589),
    checkpoint(853, 302, 3.06420),
    checkpoint(854, 305, 3.08154),
    checkpoint(855, 308, 3.09790),
    checkpoint(856, 311, 3.11523),
    checkpoint(857, 314, 3.13354),
    checkpoint(859, 317, 3.15283),
    checkpoint(860, 320, 3.17309),
    checkpoint(860, 323, 3.19409),
    checkpoint(861, 326, 3.21582),
    checkpoint(862, 329, 3.23828),
    checkpoint(863, 332, 3.26147),
    checkpoint(864, 336, 3.28540),
    checkpoint(864, 339, 3.31005),
    checkpoint(865, 342, 3.33520),
    checkpoint(865, 345, 3.36083),
    checkpoint(866, 348, 3.38696),
    checkpoint(866, 352, 3.41357),
    checkpoint(866, 355, 3.44067),
    checkpoint(867, 358, 3.46826),
    checkpoint(867, 361, 3.49633),
    checkpoint(867, 364, 3.52490),
    checkpoint(867, 368, 3.55395),
    checkpoint(867, 371, 3.58349),
    checkpoint(867, 374, 3.61328),
    checkpoint(866, 377, 3.64331),
    checkpoint(866, 380, 3.67358),
    checkpoint(866, 383, 3.70410),
    checkpoint(865, 387, 3.73486),
    checkpoint(865, 390, 3.76586),
    checkpoint(864, 393, 3.79711),
    checkpoint(864, 396, 3.82666),
    checkpoint(863, 399, 3.85449),
    checkpoint(862, 402, 3.88085),
    checkpoint(861, 405, 3.90576),
    checkpoint(860, 408, 3.92919),
    checkpoint(859, 411, 3.95141),
    checkpoint(858, 414, 3.97241),
    checkpoint(857, 417, 3.99218),
    checkpoint(855, 419, 4.01074),
    checkpoint(854, 422, 4.02832),
    checkpoint(853, 425, 4.04492),
    checkpoint(851, 428, 4.06054),
    checkpoint(850, 430, 4.07519),
    checkpoint(848, 433, 4.08886),
    checkpoint(846, 436, 4.10180),
    checkpoint(845, 438, 4.11401),
    checkpoint(843, 441, 4.12548),
    checkpoint(841, 443, 4.13623),
    checkpoint(839, 446, 4.14624),
    checkpoint(837, 448, 4.15551),
    checkpoint(835, 451, 4.16430),
    checkpoint(833, 453, 4.17456),
    checkpoint(831, 456, 4.18603),
    checkpoint(829, 458, 4.19873),
    checkpoint(827, 460, 4.21264),
    checkpoint(825, 462, 4.22778),
    checkpoint(822, 465, 4.24389),
    checkpoint(820, 467, 4.26098),
    checkpoint(818, 469, 4.27905),
    checkpoint(815, 471, 4.29614),
    checkpoint(813, 473, 4.31225),
    checkpoint(810, 475, 4.32739),
    checkpoint(808, 477, 4.34155),
    checkpoint(805, 479, 4.35693),
    checkpoint(803, 481, 4.37329),
    checkpoint(800, 483, 4.39062),
    checkpoint(797, 485, 4.40893),
    checkpoint(795, 487, 4.42822),
    checkpoint(792, 488, 4.44848),
    checkpoint(789, 490, 4.46948),
    checkpoint(787, 492, 4.49121),
    checkpoint(784, 493, 4.51367),
    checkpoint(781, 495, 4.53686),
    checkpoint(778, 496, 4.56079),
    checkpoint(775, 498, 4.58349),
    checkpoint(772, 499, 4.60498),
    checkpoint(769, 501, 4.62524),
    checkpoint(766, 502, 4.64428),
    checkpoint(763, 503, 4.66235),
    checkpoint(760, 504, 4.67944),
    checkpoint(757, 505, 4.69555),
    checkpoint(754, 506, 4.71069),
    checkpoint(751, 507, 4.72485),
    checkpoint(748, 508, 4.73828),
    checkpoint(745, 509, 4.75292),
    checkpoint(742, 510, 4.76855),
    checkpoint(739, 511, 4.78515),
    checkpoint(736, 512, 4.80273),
    checkpoint(732, 512, 4.82128),
    checkpoint(729, 513, 4.84082),
    checkpoint(726, 513, 4.86108),
    checkpoint(723, 514, 4.88208),
    checkpoint(720, 514, 4.90380),
    checkpoint(716, 515, 4.92626),
    checkpoint(713, 515, 4.94946),
    checkpoint(710, 515, 4.97338),
    checkpoint(707, 516, 4.99804),
    checkpoint(704, 516, 5.02319),
    checkpoint(700, 516, 5.04882),
    checkpoint(697, 516, 5.07299),
    checkpoint(694, 516, 5.09594),
    checkpoint(691, 516, 5.11767),
    checkpoint(687, 515, 5.13818),
    checkpoint(684, 515, 5.15747),
    checkpoint(681, 515, 5.17773),
    checkpoint(678, 515, 5.19873),
    checkpoint(675, 514, 5.22045),
    checkpoint(672, 514, 5.24291),
    checkpoint(668, 513, 5.26611),
    checkpoint(665, 512, 5.29003),
    checkpoint(662, 512, 5.31469),
    checkpoint(659, 511, 5.33984),
    checkpoint(656, 510, 5.36352),
    checkpoint(653, 509, 5.38598),
    checkpoint(650, 508, 5.40722),
    checkpoint(647, 507, 5.42724),
    checkpoint(644, 506, 5.44604),
    checkpoint(641, 505, 5.46386),
    checkpoint(638, 504, 5.48071),
    checkpoint(635, 503, 5.49658),
    checkpoint(632, 501, 5.51147),
    checkpoint(629, 500, 5.52539),
    checkpoint(626, 498, 5.53857),
    checkpoint(623, 497, 5.55102),
    checkpoint(621, 495, 5.56274),
    checkpoint(618, 494, 5.57373),
    checkpoint(615, 492, 5.58398),
    checkpoint(612, 490, 5.59350),
    checkpoint(610, 489, 5.60058),
    checkpoint(607, 487, 5.60522),
    checkpoint(604, 485, 5.60766),
    checkpoint(602, 483, 5.60791),
    checkpoint(599, 481, 5.60595),
    checkpoint(597, 479, 5.60229),
    checkpoint(594, 477, 5.59692),
    checkpoint(592, 475, 5.59008),
    checkpoint(589, 473, 5.58178),
    checkpoint(587, 471, 5.57202),
    checkpoint(584, 469, 5.56103),
    checkpoint(582, 467, 5.54882),
    checkpoint(579, 464, 5.53540),
    checkpoint(577, 462, 5.52075),
    checkpoint(574, 460, 5.50512),
    checkpoint(572, 458, 5.48852),
    checkpoint(569, 456, 5.47094),
    checkpoint(567, 453, 5.45239),
    checkpoint(564, 451, 5.43286),
    checkpoint(562, 449, 5.41259),
    checkpoint(559, 447, 5.39160),
    checkpoint(557, 444, 5.36987),
    checkpoint(554, 442, 5.34741),
    checkpoint(552, 440, 5.32421),
    checkpoint(549, 438, 5.30029),
    checkpoint(547, 436, 5.27563),
    checkpoint(544, 434, 5.25048),
    checkpoint(541, 431, 5.22485),
    checkpoint(539, 429, 5.19873),
    checkpoint(536, 427, 5.17211),
    checkpoint(533, 425, 5.14501),
    checkpoint(531, 423, 5.11743),
    checkpoint(528, 421, 5.08935),
    checkpoint(525, 419, 5.06079),
    checkpoint(523, 417, 5.03173),
    checkpoint(520, 416, 5.00219),
    checkpoint(517, 414, 4.97241),
    checkpoint(514, 412, 4.94238),
    checkpoint(511, 410, 4.91210),
    checkpoint(508, 409, 4.88159),
    checkpoint(505, 407, 4.85083),
    checkpoint(502, 406, 4.81982),
    checkpoint(500, 404, 4.78857),
    checkpoint(497, 403, 4.75708),
    checkpoint(494, 402, 4.72534),
    checkpoint(490, 400, 4.69335),
    checkpoint(487, 399, 4.66113),
    checkpoint(484, 398, 4.62866),
    checkpoint(481, 397, 4.59790),
    checkpoint(478, 396, 4.56884),
    checkpoint(475, 395, 4.54125),
    checkpoint(472, 394, 4.51513),
    checkpoint(469, 394, 4.48852),
    checkpoint(466, 393, 4.46142),
    checkpoint(463, 393, 4.43383),
    checkpoint(459, 392, 4.40576),
    checkpoint(456, 392, 4.37719),
    checkpoint(453, 391, 4.34814),
    checkpoint(450, 391, 4.31860),
    checkpoint(447, 391, 4.28881),
    checkpoint(444, 391, 4.25878),
    checkpoint(441, 391, 4.22851),
    checkpoint(437, 391, 4.19799),
    checkpoint(434, 391, 4.16723),
    checkpoint(431, 391, 4.13623),
    checkpoint(428, 392, 4.10498),
    checkpoint(425, 392, 4.07348),
    checkpoint(422, 393, 4.04174),
    checkpoint(419, 393, 4.00976),
    checkpoint(416, 394, 3.97753),
    checkpoint(413, 395, 3.94506),
    checkpoint(410, 396, 3.91235),
    checkpoint(407, 397, 3.87939),
    checkpoint(404, 398, 3.84619),
    checkpoint(401, 399, 3.81274),
    checkpoint(399, 400, 3.77905),
    checkpoint(396, 401, 3.74511),
    checkpoint(393, 402, 3.71093),
    checkpoint(390, 404, 3.67675),
    checkpoint(388, 405, 3.64257),
    checkpoint(385, 407, 3.60839),
    checkpoint(383, 409, 3.57421),
    checkpoint(380, 410, 3.54003),
    checkpoint(378, 412, 3.50585),
    checkpoint(376, 414, 3.47167),
    checkpoint(373, 416, 3.43750),
    checkpoint(371, 418, 3.40527),
    checkpoint(369, 420, 3.37475),
    checkpoint(367, 422, 3.34594),
    checkpoint(365, 424, 3.31860),
    checkpoint(363, 427, 3.29272),
    checkpoint(361, 429, 3.26831),
    checkpoint(360, 431, 3.24536),
    checkpoint(358, 434, 3.22363),
    checkpoint(356, 436, 3.20312),
    checkpoint(355, 439, 3.18383),
    checkpoint(353, 441, 3.16552),
    checkpoint(352, 444, 3.14819),
    checkpoint(351, 446, 3.13183),
    checkpoint(349, 449, 3.11645),
    checkpoint(348, 452, 3.10205),
    checkpoint(347, 455, 3.08837),
    checkpoint(346, 457, 3.07543),
    checkpoint(345, 460, 3.06323),
    checkpoint(344, 463, 3.05175),
    checkpoint(343, 466, 3.04101),
    checkpoint(343, 469, 3.03100),
    checkpoint(342, 472, 3.02172),
    checkpoint(341, 475, 3.01293),
    checkpoint(341, 478, 3.00268),
    checkpoint(340, 481, 2.99121),
    checkpoint(340, 484, 2.97851),
    checkpoint(339, 487, 2.96459),
    checkpoint(339, 490, 2.94946),
    checkpoint(338, 493, 2.93334),
    checkpoint(338, 496, 2.91625),
    checkpoint(338, 499, 2.89819),
    checkpoint(338, 502, 2.87915),
    checkpoint(338, 506, 2.85913),
    checkpoint(338, 509, 2.83837),
    checkpoint(338, 512, 2.81689),
    checkpoint(338, 515, 2.79467),
    checkpoint(338, 518, 2.77172),
    checkpoint(338, 521, 2.74804),
    checkpoint(338, 524, 2.72363),
    checkpoint(339, 528, 2.69873),
    checkpoint(339, 531, 2.67333),
    checkpoint(339, 534, 2.64746),
    checkpoint(340, 537, 2.62109),
    checkpoint(340, 540, 2.59423),
    checkpoint(341, 543, 2.56689),
    checkpoint(342, 546, 2.53906),
    checkpoint(342, 549, 2.51074),
    checkpoint(343, 552, 2.48193),
    checkpoint(344, 555, 2.45263),
    checkpoint(345, 558, 2.42309),
    checkpoint(346, 561, 2.39526),
    checkpoint(347, 564, 2.36889),
    checkpoint(348, 567, 2.34399),
    checkpoint(350, 570, 2.32055),
    checkpoint(351, 573, 2.29833),
    checkpoint(352, 576, 2.27734),
    checkpoint(354, 579, 2.25756),
    checkpoint(355, 581, 2.23901),
    checkpoint(357, 584, 2.21948),
    checkpoint(358, 587, 2.19921),
    checkpoint(360, 589, 2.17822),
    checkpoint(362, 592, 2.15649),
    checkpoint(364, 595, 2.13403),
    checkpoint(365, 597, 2.11083),
    checkpoint(367, 600, 2.08691),
    checkpoint(369, 602, 2.06225),
    checkpoint(371, 605, 2.03710),
    checkpoint(373, 607, 2.01147),
    checkpoint(375, 609, 1.98535),
    checkpoint(378, 612, 1.95874),
    checkpoint(380, 614, 1.93164),
    checkpoint(382, 616, 1.90405),
    checkpoint(384, 618, 1.87597),
    checkpoint(387, 620, 1.84741),
    checkpoint(389, 622, 1.81835),
    checkpoint(392, 624, 1.78881),
    checkpoint(394, 626, 1.75903),
    checkpoint(397, 628, 1.73095),
    checkpoint(399, 629, 1.70434),
    checkpoint(402, 631, 1.67919),
    checkpoint(405, 632, 1.65551),
    checkpoint(407, 634, 1.63305),
    checkpoint(410, 635, 1.61181),
    checkpoint(413, 637, 1.59179),
    checkpoint(416, 638, 1.57299),
    checkpoint(419, 639, 1.55517),
    checkpoint(421, 641, 1.53833),
    checkpoint(424, 642, 1.52246),
    checkpoint(427, 643, 1.50756),
    checkpoint(430, 644, 1.49365),
    checkpoint(433, 645, 1.48046),
    checkpoint(436, 645, 1.46801),
    checkpoint(439, 646, 1.45629),
    checkpoint(442, 647, 1.44531),
    checkpoint(445, 648, 1.43505),
    checkpoint(448, 648, 1.42553),
    checkpoint(451, 649, 1.41650),
    checkpoint(455, 649, 1.40795),
    checkpoint(458, 650, 1.39990),
    checkpoint(461, 650, 1.39233),
    checkpoint(464, 650, 1.38525),
    checkpoint(467, 651, 1.37866),
    checkpoint(470, 651, 1.37255),
    checkpoint(474, 651, 1.36694),
    checkpoint(477, 651, 1.36181),
    checkpoint(480, 651, 1.35717),
    checkpoint(483, 651, 1.35083),
    checkpoint(486, 651, 1.34301),
    checkpoint(490, 651, 1.33374),
    checkpoint(493, 651, 1.32299),
    checkpoint(496, 651, 1.31298),
    checkpoint(499, 651, 1.30371),
    checkpoint(503, 651, 1.29492),
    checkpoint(506, 651, 1.28662),
    checkpoint(509, 650, 1.27880),
    checkpoint(512, 650, 1.27148),
    checkpoint(516, 650, 1.26464),
    checkpoint(519, 649, 1.25830),
    checkpoint(522, 649, 1.25244),
    checkpoint(525, 648, 1.24707),
    checkpoint(529, 648, 1.24218),
    checkpoint(532, 647, 1.23779),
    checkpoint(535, 647, 1.23364),
    checkpoint(539, 646, 1.22973),
    checkpoint(542, 646, 1.22607),
    checkpoint(545, 645, 1.22265),
    checkpoint(548, 644, 1.21948),
    checkpoint(552, 644, 1.21655),
    checkpoint(555, 643, 1.21386),
    checkpoint(558, 642, 1.21142),
    checkpoint(561, 642, 1.20922),
    checkpoint(565, 641, 1.20922),
    checkpoint(568, 640, 1.21118),
    checkpoint(571, 639, 1.21484),
    checkpoint(574, 638, 1.22021),
    checkpoint(578, 637, 1.22705),
    checkpoint(581, 637, 1.23535),
    checkpoint(584, 636, 1.24511),
    checkpoint(588, 635, 1.25610),
    checkpoint(591, 634, 1.26831),
    checkpoint(594, 633, 1.28173),
    checkpoint(597, 632, 1.29638),
    checkpoint(601, 631, 1.31201),
    checkpoint(604, 630, 1.32861),
    checkpoint(607, 629, 1.34619),
    checkpoint(611, 628, 1.36474),
    checkpoint(614, 628, 1.38427),
    checkpoint(617, 627, 1.40454),
    checkpoint(620, 626, 1.42358),
    checkpoint(624, 625, 1.44165),
    checkpoint(627, 624, 1.45874),
    checkpoint(630, 623, 1.47485),
    checkpoint(634, 623, 1.48999),
    checkpoint(637, 622, 1.50415),
    checkpoint(640, 621, 1.51757),
    checkpoint(644, 621, 1.53027),
    checkpoint(647, 620, 1.54223),
    checkpoint(650, 619, 1.55541),
    checkpoint(654, 619, 1.56982),
    checkpoint(657, 618, 1.58544),
    checkpoint(660, 618, 1.60205),
    checkpoint(664, 617, 1.61962),
    checkpoint(667, 617, 1.63818),
    checkpoint(671, 616, 1.65576),
    checkpoint(674, 616, 1.67236),
    checkpoint(677, 616, 1.68798),
    checkpoint(681, 615, 1.70263),
    checkpoint(684, 615, 1.71630),
    checkpoint(687, 615, 1.72924),
    checkpoint(691, 615, 1.74145),
    checkpoint(694, 615, 1.75292),
    checkpoint(698, 615, 1.76367),
    checkpoint(701, 615, 1.77368),
    checkpoint(704, 615, 1.78491),
    checkpoint(708, 615, 1.79736),
    checkpoint(711, 615, 1.81103),
    checkpoint(715, 615, 1.82592),
    checkpoint(718, 615, 1.84179),
    checkpoint(721, 615, 1.85864),
    checkpoint(725, 615, 1.87646),
    checkpoint(728, 616, 1.89526),
    checkpoint(731, 616, 1.91503),
    checkpoint(735, 616, 1.93554),
    checkpoint(738, 617, 1.95678),
    checkpoint(741, 617, 1.97875),
    checkpoint(745, 618, 2.00146),
    checkpoint(748, 618, 2.02490),
    checkpoint(751, 619, 2.04907),
    checkpoint(755, 619, 2.07397),
    checkpoint(758, 620, 2.09936),
    checkpoint(761, 621, 2.12524),
    checkpoint(764, 622, 2.15161),
    checkpoint(768, 623, 2.17846),
    checkpoint(771, 624, 2.20581),
    checkpoint(774, 625, 2.23364),
    checkpoint(777, 626, 2.26196),
    checkpoint(780, 627, 2.29077),
    checkpoint(783, 628, 2.32006),
    checkpoint(786, 629, 2.34960),
    checkpoint(789, 630, 2.37939),
    checkpoint(792, 632, 2.40747),
    checkpoint(795, 633, 2.43408),
    checkpoint(798, 635, 2.45922),
    checkpoint(801, 636, 2.48291),
    checkpoint(804, 638, 2.50537),
    checkpoint(806, 639, 2.52661),
    checkpoint(809, 641, 2.54663),
    checkpoint(812, 643, 2.56738),
    checkpoint(814, 645, 2.58886),
    checkpoint(817, 647, 2.61108),
    checkpoint(820, 649, 2.63403),
    checkpoint(822, 651, 2.65771),
    checkpoint(825, 653, 2.68212),
    checkpoint(827, 655, 2.70703),
    checkpoint(829, 657, 2.73242),
    checkpoint(832, 659, 2.75830),
    checkpoint(834, 661, 2.78466),
    checkpoint(836, 664, 2.81152),
    checkpoint(838, 666, 2.83886),
    checkpoint(840, 669, 2.86669),
    checkpoint(842, 671, 2.89501),
    checkpoint(844, 673, 2.92187),
    checkpoint(846, 676, 2.94726),
    checkpoint(848, 679, 2.97119),
    checkpoint(850, 681, 2.99389),
    checkpoint(851, 684, 3.01538),
    checkpoint(853, 687, 3.03564),
    checkpoint(854, 689, 3.05468),
    checkpoint(856, 692, 3.07275),
    checkpoint(857, 695, 3.08984),
    checkpoint(859, 698, 3.10791),
    checkpoint(860, 701, 3.12695),
    checkpoint(861, 703, 3.14697),
    checkpoint(862, 706, 3.16772),
    checkpoint(863, 709, 3.18920),
    checkpoint(864, 712, 3.21142),
    checkpoint(865, 715, 3.23437),
    checkpoint(866, 718, 3.25805),
    checkpoint(867, 721, 3.28247),
    checkpoint(868, 724, 3.30737),
    checkpoint(869, 727, 3.33276),
    checkpoint(869, 730, 3.35864),
    checkpoint(870, 734, 3.38500),
    checkpoint(870, 737, 3.41186),
    checkpoint(870, 740, 3.43920),
    checkpoint(871, 743, 3.46704),
    checkpoint(871, 746, 3.49536),
    checkpoint(871, 749, 3.52416),
    checkpoint(871, 752, 3.55346),
    checkpoint(871, 755, 3.58300),
    checkpoint(871, 758, 3.61279),
    checkpoint(871, 762, 3.64282),
    checkpoint(871, 765, 3.67309),
    checkpoint(871, 768, 3.70361),
    checkpoint(870, 771, 3.73437),
    checkpoint(870, 774, 3.76538),
    checkpoint(869, 777, 3.79663),
    checkpoint(869, 780, 3.82812),
    checkpoint(868, 783, 3.85986),
    checkpoint(867, 786, 3.89184),
    checkpoint(866, 789, 3.92211),
    checkpoint(865, 792, 3.95263),
    checkpoint(864, 795, 3.98339),
    checkpoint(863, 798, 4.01245),
    checkpoint(862, 800, 4.04003),
    checkpoint(861, 803, 4.06616),
    checkpoint(859, 806, 4.09082),
    checkpoint(858, 809, 4.11401),
    checkpoint(856, 811, 4.13598),
    checkpoint(855, 814, 4.15673),
    checkpoint(853, 816, 4.17626),
    checkpoint(852, 819, 4.19458),
    checkpoint(850, 821, 4.21191),
    checkpoint(848, 824, 4.22827),
    checkpoint(846, 826, 4.24365),
    checkpoint(844, 829, 4.25805),
    checkpoint(842, 831, 4.27368),
    checkpoint(840, 833, 4.29028),
    checkpoint(838, 835, 4.30786),
    checkpoint(836, 837, 4.32641),
    checkpoint(834, 840, 4.34594),
    checkpoint(831, 842, 4.36621),
    checkpoint(829, 844, 4.38720),
    checkpoint(827, 846, 4.40893),
    checkpoint(824, 848, 4.43139),
    checkpoint(822, 849, 4.45458),
    checkpoint(819, 851, 4.47851),
    checkpoint(817, 853, 4.50317),
    checkpoint(814, 855, 4.52832),
    checkpoint(811, 856, 4.55395),
    checkpoint(809, 858, 4.58007),
    checkpoint(806, 859, 4.60668),
    checkpoint(803, 861, 4.63378),
    checkpoint(801, 862, 4.66137),
    checkpoint(798, 864, 4.68945),
    checkpoint(795, 865, 4.71801),
    checkpoint(792, 866, 4.74707),
    checkpoint(789, 867, 4.77661),
    checkpoint(786, 868, 4.80639),
    checkpoint(783, 869, 4.83642),
    checkpoint(780, 870, 4.86669),
    checkpoint(777, 871, 4.89721),
    checkpoint(774, 872, 4.92797),
    checkpoint(771, 872, 4.95703),
    checkpoint(768, 873, 4.98461),
    checkpoint(765, 873, 5.01074),
    checkpoint(762, 874, 5.03540),
    checkpoint(759, 874, 5.05859),
    checkpoint(756, 875, 5.08056),
    checkpoint(753, 875, 5.10131),
    checkpoint(750, 875, 5.12084),
    checkpoint(747, 875, 5.13916),
    checkpoint(744, 875, 5.15649),
    checkpoint(741, 875, 5.17285),
    checkpoint(738, 875, 5.18823),
    checkpoint(735, 874, 5.20263),
    checkpoint(732, 874, 5.21630),
    checkpoint(728, 874, 5.22924),
    checkpoint(725, 873, 5.24145),
    checkpoint(722, 873, 5.25292),
    checkpoint(719, 872, 5.26367),
    checkpoint(716, 871, 5.27368),
    checkpoint(713, 871, 5.28295),
    checkpoint(710, 870, 5.29174),
    checkpoint(707, 869, 5.30004),
    checkpoint(704, 868, 5.30786),
    checkpoint(701, 867, 5.31518),
    checkpoint(698, 866, 5.32202),
    checkpoint(695, 865, 5.32836),
    checkpoint(692, 864, 5.33422),
    checkpoint(689, 863, 5.33959),
    checkpoint(686, 862, 5.34448),
    checkpoint(683, 860, 5.34887),
    checkpoint(680, 859, 5.35302),
    checkpoint(677, 858, 5.35693),
    checkpoint(674, 856, 5.36059),
    checkpoint(671, 855, 5.36206),
    checkpoint(669, 854, 5.36132),
    checkpoint(666, 852, 5.35888),
    checkpoint(663, 851, 5.35473),
    checkpoint(660, 849, 5.34887),
    checkpoint(657, 848, 5.34155),
    checkpoint(654, 846, 5.33276),
    checkpoint(651, 844, 5.32250),
    checkpoint(648, 843, 5.31103),
    checkpoint(645, 841, 5.29833),
    checkpoint(643, 840, 5.28442),
    checkpoint(640, 838, 5.26928),
    checkpoint(637, 836, 5.25317),
    checkpoint(634, 835, 5.23608),
    checkpoint(631, 833, 5.21801),
    checkpoint(628, 831, 5.19897),
    checkpoint(625, 830, 5.17895),
    checkpoint(622, 828, 5.15820),
    checkpoint(619, 826, 5.13671),
    checkpoint(616, 825, 5.11450),
    checkpoint(613, 823, 5.09155),
    checkpoint(610, 822, 5.06787),
    checkpoint(607, 820, 5.04345),
    checkpoint(604, 819, 5.01855),
    checkpoint(601, 817, 4.99316),
    checkpoint(598, 816, 4.96728),
    checkpoint(595, 814, 4.94091),
    checkpoint(592, 813, 4.91406),
    checkpoint(589, 811, 4.88671),
    checkpoint(586, 810, 4.85888),
    checkpoint(583, 809, 4.83056),
    checkpoint(580, 808, 4.80175),
    checkpoint(577, 807, 4.77246),
    checkpoint(574, 805, 4.74291),
    checkpoint(570, 804, 4.71313),
    checkpoint(567, 803, 4.68310),
    checkpoint(564, 802, 4.65283),
    checkpoint(561, 802, 4.62231),
    checkpoint(558, 801, 4.59155),
    checkpoint(555, 800, 4.56054),
    checkpoint(551, 799, 4.53125),
    checkpoint(548, 799, 4.50366),
    checkpoint(545, 798, 4.47753),
    checkpoint(542, 798, 4.45288),
    checkpoint(538, 797, 4.42968),
    checkpoint(535, 797, 4.40771),
    checkpoint(532, 797, 4.38696),
    checkpoint(529, 797, 4.36743),
    checkpoint(525, 796, 4.34912),
    checkpoint(522, 796, 4.33178),
    checkpoint(519, 796, 4.31542),
    checkpoint(516, 797, 4.30004),
    checkpoint(513, 797, 4.28564),
    checkpoint(509, 797, 4.27197),
    checkpoint(506, 797, 4.25903),
    checkpoint(503, 798, 4.24682),
    checkpoint(500, 798, 4.23535),
    checkpoint(496, 798, 4.22460),
    checkpoint(493, 799, 4.21459),
    checkpoint(490, 800, 4.20532),
    checkpoint(487, 800, 4.19653),
    checkpoint(484, 801, 4.18823),
    checkpoint(481, 802, 4.18041),
    checkpoint(478, 803, 4.17309),
    checkpoint(474, 803, 4.16625),
    checkpoint(471, 804, 4.15991),
    checkpoint(468, 805, 4.15405),
    checkpoint(465, 806, 4.14868),
    checkpoint(462, 807, 4.14379),
    checkpoint(459, 808, 4.13940),
    checkpoint(456, 809, 4.13525),
    checkpoint(453, 811, 4.13134),
    checkpoint(450, 812, 4.12768),
    checkpoint(447, 813, 4.12622),
    checkpoint(444, 814, 4.12695),
    checkpoint(440, 816, 4.12939),
    checkpoint(437, 817, 4.13354),
    checkpoint(434, 818, 4.13940),
    checkpoint(431, 820, 4.14672),
    checkpoint(428, 821, 4.15551),
    checkpoint(425, 823, 4.16577),
    checkpoint(422, 824, 4.17724),
    checkpoint(419, 825, 4.18994),
    checkpoint(416, 827, 4.20385),
    checkpoint(413, 828, 4.21704),
    checkpoint(410, 830, 4.22949),
    checkpoint(407, 831, 4.24316),
    checkpoint(404, 833, 4.25805),
    checkpoint(401, 834, 4.27392),
    checkpoint(398, 836, 4.29077),
    checkpoint(395, 837, 4.30859),
    checkpoint(392, 839, 4.32739),
    checkpoint(389, 840, 4.34716),
    checkpoint(386, 842, 4.36767),
    checkpoint(383, 843, 4.38891),
    checkpoint(380, 844, 4.41088),
    checkpoint(377, 846, 4.43359),
    checkpoint(374, 847, 4.45703),
    checkpoint(371, 849, 4.48120),
    checkpoint(367, 850, 4.50610),
    checkpoint(364, 851, 4.53149),
    checkpoint(361, 852, 4.55737),
    checkpoint(358, 853, 4.58374),
    checkpoint(355, 855, 4.61059),
    checkpoint(352, 856, 4.63793),
    checkpoint(348, 857, 4.66577),
    checkpoint(345, 858, 4.69409),
    checkpoint(342, 859, 4.72290),
    checkpoint(339, 860, 4.75219),
    checkpoint(336, 860, 4.78173),
    checkpoint(332, 861, 4.81152),
    checkpoint(329, 862, 4.84155),
    checkpoint(326, 863, 4.87182),
    checkpoint(322, 863, 4.90234),
    checkpoint(319, 864, 4.93310),
    checkpoint(316, 864, 4.96411),
    checkpoint(313, 865, 4.99536),
    checkpoint(309, 865, 5.02685),
    checkpoint(306, 865, 5.05859),
    checkpoint(303, 865, 5.09057),
    checkpoint(300, 865, 5.12280),
    checkpoint(296, 865, 5.15527),
    checkpoint(293, 865, 5.18798),
    checkpoint(290, 865, 5.22094),
    checkpoint(287, 865, 5.25415),
    checkpoint(284, 865, 5.28759),
    checkpoint(280, 864, 5.31933),
    checkpoint(277, 864, 5.34936),
    checkpoint(274, 863, 5.37768),
    checkpoint(271, 863, 5.40454),
    checkpoint(268, 862, 5.42993),
    checkpoint(265, 861, 5.45385),
    checkpoint(262, 860, 5.47656),
    checkpoint(259, 859, 5.49804),
    checkpoint(256, 858, 5.51831),
    checkpoint(253, 857, 5.53735),
    checkpoint(250, 856, 5.55541),
    checkpoint(247, 855, 5.57250),
    checkpoint(245, 853, 5.58862),
    checkpoint(242, 852, 5.60375),
    checkpoint(239, 850, 5.61987),
    checkpoint(236, 849, 5.63696),
    checkpoint(234, 847, 5.65502),
    checkpoint(231, 846, 5.67407),
    checkpoint(228, 844, 5.69409),
    checkpoint(226, 842, 5.71484),
    checkpoint(223, 840, 5.73632),
    checkpoint(221, 839, 5.75854),
    checkpoint(218, 837, 5.78149),
    checkpoint(216, 835, 5.80517),
    checkpoint(213, 833, 5.82958),
    checkpoint(211, 830, 5.85449),
    checkpoint(209, 828, 5.87988),
    checkpoint(207, 826, 5.90576),
    checkpoint(204, 824, 5.93212),
    checkpoint(202, 822, 5.95898),
    checkpoint(200, 819, 5.98632),
    checkpoint(198, 817, 6.01416),
    checkpoint(196, 814, 6.04248),
    checkpoint(195, 812, 6.06933),
    checkpoint(193, 809, 6.09472),
    checkpoint(191, 807, 6.11865),
    checkpoint(189, 804, 6.14135),
    checkpoint(188, 802, 6.16284),
    checkpoint(186, 799, 6.18310),
    checkpoint(185, 796, 6.20214),
    checkpoint(183, 793, 6.22021),
    checkpoint(182, 791, 6.23730),
    checkpoint(180, 788, 6.25341),
    checkpoint(179, 785, 6.26855),
    checkpoint(178, 782, 6.28271),
    checkpoint(177, 779, 0.01318),
    checkpoint(176, 776, 0.02587),
    checkpoint(175, 773, 0.03784),
    checkpoint(174, 770, 0.04907),
    checkpoint(173, 767, 0.05957),
    checkpoint(172, 764, 0.06933),
    checkpoint(171, 761, 0.07836),
    checkpoint(171, 758, 0.08691),
    checkpoint(170, 755, 0.09497),
    checkpoint(169, 752, 0.10253),
    checkpoint(169, 749, 0.10961),
    checkpoint(168, 745, 0.11621),
    checkpoint(168, 742, 0.12231),
    checkpoint(168, 739, 0.12792),
    checkpoint(168, 736, 0.13305),
    checkpoint(167, 733, 0.13769),
    checkpoint(167, 730, 0.14208),
    checkpoint(167, 726, 0.14624),
    checkpoint(167, 723, 0.15014),
    checkpoint(167, 720, 0.15380),
    checkpoint(167, 717, 0.15722),
    checkpoint(167, 713, 0.15844),
    checkpoint(167, 710, 0.15747),
    checkpoint(167, 707, 0.15478),
    checkpoint(167, 703, 0.15039),
    checkpoint(167, 700, 0.14428),
    checkpoint(167, 697, 0.13671),
    checkpoint(167, 694, 0.12768),
    checkpoint(166, 690, 0.11718),
    checkpoint(166, 687, 0.10546),
    checkpoint(166, 684, 0.09448),
    checkpoint(166, 680, 0.08422),
    checkpoint(166, 677, 0.07470),
    checkpoint(166, 674, 0.06567),
    checkpoint(166, 670, 0.05712),
    checkpoint(166, 667, 0.04907),
    checkpoint(166, 664, 0.04150),
    checkpoint(166, 660, 0.03442),
    checkpoint(166, 657, 0.02783),
    checkpoint(166, 653, 0.02172),
    checkpoint(166, 650, 0.01611),
    checkpoint(166, 647, 0.01098),
    checkpoint(166, 643, 0.00634),
    checkpoint(165, 640, 0),
    checkpoint(165, 636, 0),
    checkpoint(165, 633, 0),
    checkpoint(165, 630, 0),
    checkpoint(165, 626, 0),
    checkpoint(165, 623, 0),
    checkpoint(165, 619, 0),
    checkpoint(165, 616, 0),
    checkpoint(165, 613, 0),
    checkpoint(165, 609, 0),
    checkpoint(164, 606, 0),
    checkpoint(164, 602, 0),
    checkpoint(164, 599, 0),
    checkpoint(164, 595, 0),
    checkpoint(163, 592, 0),
    checkpoint(163, 589, 0),
    checkpoint(163, 585, 0),
    checkpoint(163, 582, 0),
    checkpoint(163, 578, 0),
    checkpoint(162, 575, 0),
    checkpoint(162, 571, 0),
    checkpoint(162, 568, 0),
    checkpoint(162, 564, 0),
    checkpoint(162, 561, 0),
    checkpoint(161, 558, 0),
    checkpoint(161, 554, 0),
    checkpoint(161, 551, 0),
    checkpoint(161, 547, 0),
    checkpoint(161, 544, 0),
    checkpoint(161, 540, 0),
    checkpoint(160, 537, 0),
    checkpoint(160, 533, 0),
    checkpoint(160, 530, 0),
    checkpoint(160, 526, 0),
    checkpoint(160, 523, 0),
    checkpoint(160, 519, 0),
    checkpoint(159, 516, 0),
    checkpoint(159, 512, 0),
    checkpoint(159, 509, 0),
    checkpoint(159, 506, 0),
    checkpoint(159, 502, 0),
    checkpoint(159, 499, 0),
    checkpoint(159, 495, 0),
    checkpoint(158, 492, 0),
    checkpoint(158, 488, 0),
    checkpoint(158, 485, 0),
    checkpoint(158, 481, 0),
    checkpoint(158, 478, 0),
    checkpoint(158, 474, 0),
    checkpoint(158, 471, 0),
    checkpoint(157, 467, 0),
    checkpoint(157, 464, 0),
    checkpoint(157, 460, 0),
    checkpoint(157, 457, 0),
    checkpoint(157, 453, 0),
    checkpoint(157, 450, 0),
    checkpoint(156, 446, 0),
    checkpoint(156, 443, 0),
    checkpoint(156, 439, 0),
};

}

#endif
